Using Hybrid Automata for Diagnosis of Hybrid Dynamical Systems

Monitoring of Dynamical Systems Using Hybrid Automata with Stopwatch

Dynamical properties of hybrid automata

Hybrid automata provide a language for modeling and analyzing digital and analogue computations in real-time systems. Hybrid automata are studied here from a dynamical systems perspective. Necessary and sufficient conditions for existence and uniqueness of solutions are derived and a class of hybrid automata whose solutions depend continuously on the initial state is characterized. The results ...

Hybrid Automata-based CEGAR for Hybrid Systems

In this paper we present a framework for carrying out counterexample guided abstraction-refinement (CEGAR) for systems modelled as hybrid automata. The main difference, between our approach and previous proposals for CEGAR for hybrid automata, is that we consider the abstractions to be hybrid automata as well. We present a counterexample guided abstraction refinement method for systems modelled...

Supervisory Control of Hybrid Systems Using Approximating Hybrid Automata

Special Issue on " Control in Hybrid Systems " Abstract This paper describes an approach to synthesizing discrete controllers for hybrid systems based on finite-state approximations of the hybrid system dynamics. The plant is a hybrid system with continuous dynamics that can be switched by a discrete-valued input signal. The information available to the supervisory controller is an event signal...

Diagnosing Hybrid Dynamical Systems

A method of diagnosing the occurrence of arbitrary events in hybrid dynamical systems is presented. The methodology unifies results from the Fault Detection and Isolation (FDI) and Diagnosis (DX) communities. In this approach the diagnosis is not performed on the output trajectory of the system but rather on the fundamental governing dynamics, thus not requiring the computation of residuals. Th...